-- MAIN == 3
DEF MAIN:nat == IF false THEN 2 ELSE 3 FI
